minios: in non-x86 case, use wmb to enforce ordering between
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 10:55:13 +0000 (11:55 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 10:55:13 +0000 (11:55 +0100)
commitaec0c76f2272eb6551a370a24a0c53b32efbb9bf
tree52c7b962ccadee19affae636bcf86c930e26bf5a
parentb585b4dfa76737c797d6a981eacc99eb54551331
minios: in non-x86 case, use wmb to enforce ordering between
evtchn_upcall_pending and evtchn_pending_sel stores.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/hypervisor.c